Da Costa and French explore the consequences of adopting a 'pragmatic' notion of truth in the philosophy of science. Their framework sheds new light on issues to do with belief, theory acceptance, and the realism-antirealism debate, as well as the nature of scientific models and their heuristic development.

The mathematical concept of pragmatic truth, first introduced in Mikenberg, da Costa and Chuaqui (1986), has received in the last few years several applications in logic and the philosophy of science. In this paper, we study the logic of pragmatic truth, and show that there are important connections between this logic, modal logic and, in particular, Jaskowski's discussive logic. In order to do so, two systems are put forward so that the notions of pragmatic validity and pragmatic truth can be (...) accommodated. One of the main results of this paper is that the logic of pragmatic truth is paraconsistent. The philosophical import of this result, which justifies the application of pragmatic truth to inconsistent settings, is also discussed. (shrink)

We investigate the higher-order modal logic , which is a variant of the system presented in our previous work. A semantics for that system, founded on the theory of quasi sets, is outlined. We show how such a semantics, motivated by the very intuitive base of Schrödinger logics, provides an alternative way to formalize some intensional concepts and features which have been used in recent discussions on the logical foundations of quantum mechanics; for example, that some terms like 'electron' have (...) no precise reference and that 'identical' particles cannot be named unambiguously. In the last section, we sketch a classical semantics for quasi set theory. (shrink)

Objectives: To discover the current state of opinion and practice among doctors in Victoria, Australia, regarding end-of-life decisions and the legalisation of voluntary euthanasia. Longitudinal comparison with similar 1987 and 1993 studies.Design and participants: Cross-sectional postal survey of doctors in Victoria.Results: 53% of doctors in Victoria support the legalisation of voluntary euthanasia. Of doctors who have experienced requests from patients to hasten death, 35% have administered drugs with the intention of hastening death. There is substantial disagreement among doctors concerning the (...) definition of euthanasia.Conclusions: Disagreement among doctors concerning the meaning of the term euthanasia may contribute to misunderstanding in the debate over voluntary euthanasia. Among doctors in Victoria, support for the legalisation of voluntary euthanasia appears to have weakened slightly over the past 17 years. Opinion on this issue is sharply polarised. (shrink)

The complexity of biobank research raises concerns about individuals’ understanding of the information conveyed in the consent process for such research.. We report the results of a qualitative, cognitive interview study with an ethnically, linguistically, and educationally diverse sample of 43 respondents to assess the clarity and utility of a multimedia tool developed for a biobank. Using weighted randomization, respondents were assigned to either view the multimedia tool or read a written consent document . The study illustrates the utility of (...) cognitive interviews for gaining insights from prospective research participants about the clarity of informed consent tools. Findings suggest that a multimedia tool is useful for communicating key messages but should be combined with a written consent document and personal interaction with the study staff. We recommend that the potential value of multimedia tools should be more rigorously tested in a randomized controlled trial. (shrink)

Reviewed Works:Chris Mortensen, Inconsistent Mathematics.Chris Mortensen, Peter Lavers, Category Theory.William James, Closed Set Sheaves and Their Categories.Chris Mortensen, Joshua Cole, Foundations: Provability, Truth and Sets.

In this response to Jonny Anomaly’s ‘Is Obesity a Public Health Problem?’ I argue, contra the author that public health actually increases individuals’ abilities to choose actions that further their health goals, specifically in the case of obesity. The intractability of obesity as an individual medical problem combined with the health benefits of modest (5–10 per cent of body weight) weight loss suggest that public health measures helping people make small changes in eating habits improve population health. I argue that (...) such measures are available to public health via behavioral economic research and policy proposals from libertarian paternalists. I respond to author’s claim that obesity does not constitute a public health problem because: (i) it is not an epidemic and (ii) obesity reduction is not a public good. I argue that epidemic status is not required for classification as a public health problem, but that obesity does have the status of an epidemic. I also point out flaws in author’s reasoning about obesity, public health and social costs. I conclude by suggesting that public health, in partnership with stakeholders and other areas of government, is poised to help create conditions for modest weight loss and increased population health overall. (shrink)

The Three Papers comprising this series, together with my earlier [34] also published in this journal, constitute an attempt to set out the major issues in the theoretical domain of reduction and to develop a general theory of theory reduction. The fourth paper, [34], though published separately from this trio, is integral to the presentation and should be read in conjunction with these papers. Even so, the presentation is limited in scope – roughly, to intertheoretic reduction among empirical theories – (...) and informal in presentation – not least because a satisfying formal account of theories has yet to be offered. And despite the length, the treatment is still condensed; often corroborating and/or intuitively helpful detail has had to be consigned to footnotes or omitted. I approach the problem from within my own naturalistic realist philosophy of science and formal analysis of abstract hierarchy in theory. The sources for the former are [25], [29], [31], and [32] and those for the latter essentially [27] and [30]. Hierarchical notions played a significant role in the already published [34]. (shrink)

A new frame of reference, which in its fundamental structuring differs radically from the structuring of the familiar western Indo-European viewpoints (logical, mathematical, scientific, philosophical, etc.), already exists. Recently, by the strategem of systematically disallowing a previously unnoticed untenable assumption encoded in the traditional Western symbolic logics, set theories, etc., in particular and in the Western World-View in general, this frame of reference has generated its own, entirely non-traditional, formalized language. The Notre Dame Journal of Formal Logic has accepted for (...) publication a first paper presenting this non-standard formalized language (Hilgartner, 1975).As one of its accomplishments, this new frame of reference delivers a general theory of living. This theory purports to span the entire domain of what we call living systems, human or non-human. (shrink)

It is shown how the development of physics has involved making explicit what were homocentric projections which had heretofore been implicit, indeed inexpressible in theory. This is shown to support a particular notion of the invariant as the real. On this basis the divergence in ideals of physical intelligibility between Bohr and Einstein is set out. This in turn leads to divergent, but explicit, conceptions of objectivity and completeness for physical theory. *I am indebted to Dr. G. McLelland. Professor F. (...) Rohrlich and an anonymous referee of this journal for several improvements in the formulation of the paper. (shrink)

The role of interaction in learning is essential and profound: it must provide the means to solve open problems (those only vaguely specified in advance), but cannot be captured using our familiar formal cognitive tools. This presents an impasse to those confined to present formalisms; but interaction is fundamentally dynamical, not formal, and with its importance thus underlined it invites the development of a distinctively interactivist account of life and mind. This account is provided, from its roots in the interactivist (...) biological constitution of life, through the evolution of the dual internal regulatory capacities expressed as intentionality and intelligence, to its expression in self-directed anticipative learning in persons and in science. (shrink)

All the major inter-theoretic relations of fundamental science are asymptotic ones, e.g. quantum theory as Planck's constant h 0, yielding (roughly) Newtonian mechanics. Thus asymptotics ultimately grounds claims about inter-theoretic explanation, reduction and emergence. This paper examines four recent, central claims by Batterman concerning asymptotics and reduction. While these claims are criticised, the discussion is used to develop an enriched, dynamically-based account of reduction and emergence, to show its capacity to illuminate the complex variety of inter-theory relationships in physics, and (...) to provide a principled resolution to such persistent philosophical problems as multiple realisability and the nature of the special sciences. Introduction Exposition Examination I: Claims (1) and (2), asymptotic explanation and reference Examination II: Claim (3), reduction and singular asymptotics Examination III: Claim (4), emergence and multiple realisability Conclusion. (shrink)

This article presents the first results of a study of the decisions made by health professionals in South Australia concerning the management of death, dying, and euthanasia, and focuses on the findings concerning the attitudes and practices of medical practitioners. Mail-back, self-administered questionnaires were posted in August 1991 to a ten per cent sample of 494 medical practitioners in South Australia randomly selected from the list published by the Medical Board of South Australia. A total response rate of 68 per (...) cent was obtained, 60 per cent of which (298) were usable returns. It was found that forty-seven per cent had received requests from patients to hasten their deaths. Nineteen per cent had taken active steps which had brought about the death of a patient. Sixty-eight per cent thought that guidelines for withholding and withdrawal of treatment should be established. Forty-five per cent were in favour of legalisation of active euthanasia under certain circumstances. (shrink)

Research ethics committees—animal ethics committees for animal-based research and institutional research boards for human subjects—have a key role in research governance, but there has been little study of the factors influencing their effectiveness. The objectives of this study were to examine how the effectiveness of a research ethics committee is influenced by committee composition and dynamics, recruitment of members, workload, participation level and member turnover. As a model, 28 members of AECs at four universities in western Canada were interviewed. Committees (...) were selected to represent variation in the number and type of protocols reviewed, and participants were selected to include different types of committee members. We found that a bias towards institutional or scientific interests may result from a preponderance of institutional and scientist members, an intimidating atmosphere for community members and other minority members, recruitment of community members who are affiliated with the institution and members joining for reasons other than to fulfil the committee mandate. Thoroughness of protocol review may be influenced by heavy workloads, type of review process and lack of full committee participation. These results, together with results from the literature on research ethics committees, suggested potential ways to improve the effectiveness of research ethics committees. (shrink)

In his bookMinimal Rationality (1986), Christopher Cherniak draws deep and widespread conclusions from our finitude, and not only for philosophy but also for a wide range of science as well. Cherniak's basic idea is that traditional philosophical theories of rationality represent idealisations that are inaccessible to finite rational agents. It is the purpose of this paper to apply a theory of idealisation in science to Cherniak's arguments. The heart of the theory is a distinction between idealisations that represent reversible, solely (...) quantitative simplifications and those that represent irreversible, degenerate idealisations which collapse out essential theoretical structure. I argue that Cherniak's position is best understood as assigning the latter status to traditional rationality theories and that, so understood, his arguments may be illuminated, expanded, and certain common criticisms of them rebutted. The result, however, is a departure from traditional, formalist theories of rationality of a more radical kind than Cherniak contemplates, with widespread ramifications for philosophical theory, especially philosophy of science itself. (shrink)